Paris

Results: 39041



#Item
1

COMMUNIQUÉ DE PRESSE NATIONAL I PARIS I 10 OCTOBRERemise en cause du lien entre pollution par des particules de magnétite et maladie d’Alzheimer Une étude1 parue en 2016 montrait qu’une exposition à la pol

Add to Reading List

Source URL: www2.cnrs.fr

Language: French - Date: 2018-10-10 11:28:17
    2

    Universit´e Paris Diderot U.F.R. de Math´ematique hh 11 mai 2011

    Add to Reading List

    Source URL: www.math.ens.fr

    Language: French - Date: 2011-05-12 17:45:26
      3

      Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name

      Add to Reading List

      Source URL: ejcim2018.sciencesconf.org

      Language: French - Date: 2018-04-03 08:40:55
        4Theoretical computer science / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Benchmark / Solver / Lis / Standard Performance Evaluation Corporation

        10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France

        Add to Reading List

        Source URL: smtcomp.sourceforge.net

        Language: English - Date: 2016-05-20 07:13:03
        5

        Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

        Add to Reading List

        Source URL: www.doc.ic.ac.uk

        Language: English - Date: 2018-02-20 10:22:48
          6Computer arithmetic / Mathematics / Arithmetic / Theoretical computer science / Rounding / Division algorithm / Expected value

          Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          Language: English - Date: 2010-07-21 10:31:13
          7Differentiation rules / Number theory / Polynomials / Lie algebras / Smooth functions

          CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA

          Add to Reading List

          Source URL: www.lsi.upc.edu

          Language: English - Date: 2007-07-13 04:34:22
          8

          La Fondation L’Oréal dévoile les 30 lauréates des bourses de recherche L’Oréal-UNESCO Pour les femmes et la science 2018 Paris, le 9 octobre 2018 – Lundi 8 octobre, dans le cadre de la semaine de la Fête de la

          Add to Reading List

          Source URL: www.in2p3.fr

          Language: French - Date: 2018-10-10 03:42:48
            9Economy / Cloud computing / Computing / CAC 40 / Orange S.A. / Wealth management / Software as a service / Customer-relationship management / Draft:Cloud service provider / Oracle Financial Services Software

            Press release Paris, 2 July 2018 Orange Business Services partners with Additiv to offer cloud-based wealth management solutions n

            Add to Reading List

            Source URL: www.additiv.com

            Language: English - Date: 2018-07-01 12:52:25
            UPDATE